#include <stdio.h>
#include <stdlib.h>
int a,b,c;

int check(int i,int j,int k)//这个函数用来判断是不是符合年月日
  {
    i=i%100;
    if(a==i&&b==j&&c==k) return 1;//判定年月日
    if(a==j&&b==k&&c==i) return 1;//月日年
    if(a==k&&b==j&&c==i) return 1;//日月年
    return 0;
  }
int main(int argc, char *argv[])
{
  // 请在此输入您的代码
  //题目要求多个日期从早到晚排列，日期由小往大循环，可以规避掉这个问题
  int month[13]={0,31,28,31,30,31,30,31,31,30,31,30,31};
  scanf("%d/%d/%d",&a,&b,&c);
  for(int i=1960;i<=2059;i++)
    {
      if(i%4==0&&i%100!=0 || i==2000)
        {
          month[2]=29;
        }else
        {
          month[2]=28;
        }
      for(int j=1;j<=12;j++)
        {
          for(int k=1;k<=month[j];k++)
            {
              if(check(i,j,k))
                {
                  printf("%d-%02d-%02d\n",i,j,k);
                }
            }
        }  
    }
  return 0;
}